From 7eabdcd8e688bb1bf99d7986e3e15f4a7a467274 Mon Sep 17 00:00:00 2001
From: Luca Bruno <lucab@debian.org>
Date: Sun, 28 Feb 2016 10:49:59 +0100
Subject: [PATCH] patches: do not reference remote jquery

---
 debian/patches/local-jquery.patch | 11 +++++++++++
 debian/patches/series             |  1 +
 2 files changed, 12 insertions(+)
 create mode 100644 debian/patches/local-jquery.patch

diff --git a/debian/patches/local-jquery.patch b/debian/patches/local-jquery.patch
new file mode 100644
index 000000000..b3b1a645e
--- /dev/null
+++ b/debian/patches/local-jquery.patch
@@ -0,0 +1,11 @@
+From: Luca Bruno <lucab@debian.org>
+Description: Remove remote jquery references
+Forwarded: no
+--- a/src/doc/header.html
++++ b/src/doc/header.html
+@@ -1,4 +1,4 @@
+-<script src="https://code.jquery.com/jquery-2.1.1.min.js"></script>
++<script src="jquery.js"></script>
+ 
+ <a href='https://github.com/rust-lang/cargo' class='fork-me'>
+   <img src='images/forkme.png'/>
diff --git a/debian/patches/series b/debian/patches/series
index d1ce6142c..f72ad9fa8 100644
--- a/debian/patches/series
+++ b/debian/patches/series
@@ -1,3 +1,4 @@
 clean-cargo-deps.patch
 libgit2-fixes.patch
 clean-win-crates.patch
+local-jquery.patch
-- 
2.30.2